Birmingham

Results: 8627



#Item
181

Compact types and ordinals in constructive univalent type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2016-07-13 16:51:55
    182

    21st Century Corpus Workbench! Updating a query architecture for the new millennium Stefan Evert (Osnabrück) Andrew Hardie (Lancaster) CL2011, Birmingham, July 2011

    Add to Reading List

    Source URL: cwb.sourceforge.net

    - Date: 2011-07-28 07:22:44
      183

      Title: Birmingham Shelfmark: C900Description: Aubrey describes what first inspired him to take up drumming. Erdington and Perry Common (both in the

      Add to Reading List

      Source URL: sounds.bl.uk

      - Date: 2008-08-19 07:26:15
        184

        Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        - Date: 2016-08-30 09:47:27
          185

          The politics of expertise in media and cultural research Wednesday 30 November 2016, 4pm-6pm, Birmingham City University Call for papers In cultural research, any mentions of experts or expertise usually refer to art cri

          Add to Reading List

          Source URL: karenpatelresearch.files.wordpress.com

          - Date: 2016-06-02 07:54:22
            186

            In Proceedings UKCI’02: UK Workshop on Computational Intelligence Sept 2002, Birmingham UK, http://www.cs.bham.ac.uk/˜ukci (Graphics improved JanA Framework for Comparing Agent Architectures Aaron Sloman

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            - Date: 2007-01-07 10:30:32
              187

              A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2013-08-01 12:14:38
                188

                Main Birmingham Bowl Logo

                Add to Reading List

                Source URL: www.birminghambowl.com

                - Date: 2016-08-18 15:00:11
                  189

                  The Barber Institute. Birmingham. 12th February 2016.

                  Add to Reading List

                  Source URL: barber.org.uk

                  - Date: 2016-04-01 10:16:24
                    190

                    BIRMINGHAM TOWNSHIP BOARD OF SUPERVISOR MINUTES JULY 11, 2016 The regular meeting of the Board of Supervisors was called to order at 7:30 PM in the Township Building by Chairman Conklin with the pledge of allegiance. A q

                    Add to Reading List

                    Source URL: www.birminghamtownship.org

                    - Date: 2016-08-03 14:29:59
                      UPDATE